Story Of Math Crisis, Math Foundation, Proof Theory, And Homotopy Type Theory